Перевод: со всех языков на русский

с русского на все языки

definable structure

См. также в других словарях:

  • Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… …   Wikipedia

  • Definable set — In mathematical logic, a definable set is an n ary relation on the domain of a structure whose elements are precisely those elements satisfying some formula in the language of that structure. A set can be defined with or without parameters, which …   Wikipedia

  • Definable — In mathematical logic, the word definable may refer to: A definable real number. A definable set. A definable integer sequence. A relation or function definable over a first order structure. A mathematical object or concept that is well defined.… …   Wikipedia

  • Interpretable structure — In model theory, a structure N is called interpretable in M if all the components (universe, functions, relations etc.) of N can be defined in terms of the components of M . In particular, the universe of N is represented as a definable subset of …   Wikipedia

  • Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia

  • Weakly o-minimal structure — Weakly O Minimal Definition = A linearly ordered structure, m, with language L including anordering relation …   Wikipedia

  • The Structure of Scientific Revolutions — (1962), by Thomas Kuhn, is an analysis of the history of science. Its publication was a landmark event in the sociology of knowledge, and popularized the terms paradigm and paradigm shift .HistoryThe work was first published as a monograph in the …   Wikipedia

  • OpenWGA — Screenshot  OpenWGA Content …   Wikipedia

  • o-minimal theory — In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o minimal structure if and only if every definable subset X ⊂ M (with parameters taken from… …   Wikipedia

  • Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… …   History of philosophy

  • Interpretation (model theory) — In model theory, interpretation of a structure M in another structure N (typically of a different signature) is a technical notion that approximates the idea of representing M inside N . For example every reduct or definitional expansion of a… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»